: notam =- (congruent)
: notam T (teorema)
: notam x! 1*2*3*...*x

* Teorema chineza a resturilor: 

Fie:			
x =- a[1] ( mod n[1] )  			 
x =- a[2] ( mod n[2] )  
....
x =- a[k] ( mod n[k] )

Fie n=n[1]*...*n[k]
M[i]=n/n[i];
x[i] , pt. care:
	 M[i]*x[i] =- 1(mod n[i]) => x[i] =- M[i]^(-1) (mod n[i])
x=( a[1]*M[1]*x[1] + ... + a[k]*M[k]*x[k] ) mod n


* Teorema generalizata chineza a returilor:
ai =- aj ( mod cmmdc(ni,nj) )  , oricare ar fi i si j dintr-un sistem de ec.
 modulo liniare  

* Teorema lui Wilson:
Fie p un numar prim. Atunci (p-1)! =- -1 ( mod p )

*Teorema lui Fermat
a^p =- a ( mod p )